Test article BB

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Bb Ohm's Theorem for Bb Ohm Trees

We prove that adding to the pure-calculus a non-deterministic choice operator and a standard numeralsystem we obtain a language which internally discriminates two-terms if and only if they have diierent BB ohm trees.

متن کامل

Invited article: Electric solar wind sail: toward test missions.

The electric solar wind sail (E-sail) is a space propulsion concept that uses the natural solar wind dynamic pressure for producing spacecraft thrust. In its baseline form, the E-sail consists of a number of long, thin, conducting, and centrifugally stretched tethers, which are kept in a high positive potential by an onboard electron gun. The concept gains its efficiency from the fact that the ...

متن کامل

A new BB forceps.

Retained intraocular BBs are difficult to remove. According to manufacturers' specifications, BBs have a spherical diameter of 4.5 mm and a copper plate covering a steel core. They have only moderate magnetic properties because of the copper plate cover and they are too large to be grasped by almost all intraocular forceps and, therefore, present a problem when they are retained in the eye afte...

متن کامل

Optimizing Bb Uchi Automata

We describe a family of optimizations implemented in a translation from a lin ear temporal logic to B uchi automata Such optimized automata can enhance the e ciency of explicit state model checking as practiced in tools such as Spin Some of our optimizations are applied during preprocessing of temporal formulas others are applied during the translation algorithm itself while other key optimizat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Test Deposits

سال: 2010

ISSN: 0198-8220

DOI: 10.5555/test_201010041;00